﻿module CodeCamp01.BasicTypes
{
  export Text32;
  export Text128;
  export Text256;
  export Text1024;
  export Text4000;

  type Text32 : Text where value.Count <= 32;
  type Text128 : Text where value.Count <= 128;
  type Text256 : Text where value.Count <= 256;
  type Text1024 : Text where value.Count <= 1024;
  type Text4000 : Text where value.Count <= 4000;
}